<?xml version='1.0'?>

<gl_extension name="GL_INGR_palette_buffer">
</gl_extension>
